Itxitura iragankor

Matematikan, ${\displaystyle A}$ multzoan definitutako ${\displaystyle {\mathcal {R}}}$ erlazio bitarraren itxitura iragankorra, ${\displaystyle CT({\mathcal {R}})}$ adierazita, erlazio iragankorra da, ${\displaystyle {\mathcal {R}}}$ erlazioa barnean hartzen duenetan txikiena dena.

Beste hitzetan, ${\displaystyle CT({\mathcal {R}})}$ da ondoko hauek betetzen dituen erlazio bitarra:

1. ${\displaystyle {\mathcal {R}}\subseteq CT({\mathcal {R}})}$
2. ${\displaystyle CT({\mathcal {R}})}$ iragankorra da
3. ${\displaystyle {\mathcal {R}}'}$ erlazio iragankorra bada, non ${\displaystyle {\mathcal {R}}\subseteq {\mathcal {R}}'}$ den, orduan ${\displaystyle CT({\mathcal {R}})\subseteq {\mathcal {R}}'}$

Oharra: ${\displaystyle {\mathcal {R}}}$ iragankorra bada, orduan ${\displaystyle CT({\mathcal {R}})={\mathcal {R}}}$.